形式化方法在装备保障决策支持系统中的应用

为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升.     

MAS中Agent属性冲突形式化描述及消解系统研究

由于多智能体系统(MAS)中各个Agent具有自治性、分布性和异构性等特征,导致MAS内部经常会出现冲突现象。首先,运用数学方法对MAS中存在的属性冲突进行形式化描述,并将其分为6类,针对每类冲突提出了相应的消解对策。其次,对属性冲突智能消解系统(AACIRS)流程框架进行了分析,并在此基础上建立了AACIRS系统,实现了MAS中属性冲突的消解。从而为解决MAS中Agent属性冲突提供了解决方案,为MAS的稳定运行提供了技术保证。     

基于贝叶斯混合源分离方法的声纳探测误差模型

声纳的探测误差模型是声纳仿真的核心技术。针对现有的声纳误差白噪声模型仿真逼真度低的问题,提出了基于贝叶斯混合源分离方法,建立了声纳的探测误差模型,提高了声纳误差模型的性能。与传统的白噪声仿真方法相比,基于贝叶斯混合源分离方法的声纳误差仿真模型具有较好的逼真度,可以有效地对声纳探测误差进行建模和预测。     

Averaging frameworks for simulation optimization with applications to simulated annealing

We present two frameworks for designing random search methods for discrete simulation optimization. One of our frameworks is very broad (in that it includes many random search methods), whereas the other one considers a special class of random search methods called point‐based methods, that move iteratively between points within the feasible region. Our frameworks involve averaging, in that all decisions that require estimates of the objective function values at various feasible solutions are based on the averages of all observations collected at these solutions so far. Also, the methods are adaptive in that they can use information gathered in previous iterations to decide how simulation effort is expended in the current iteration. We show that the methods within our frameworks are almost surely globally convergent under mild conditions. Thus, the generality of our frameworks and associated convergence guarantees makes the frameworks useful to algorithm developers wishing to design efficient and rigorous procedures for simulation optimization. We also present two variants of the simulated annealing (SA) algorithm and provide their convergence analysis as example application of our point‐based framework. Finally, we provide numerical results that demonstrate the empirical effectiveness of averaging and adaptivity in the context of SA. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

火炮身管无损检测方法

为了延长火炮身管寿命,进一步提高射击精度。研究火炮身管缺陷检测技术,结合身管不同的损伤类型,通过比较不同的身管检测方法,讨论它们的优缺点和发展前景,并得出相控聚焦超声导波检测新技术的优越性,应用在火炮身管检测中,可占据优势地位,使其可以更好地投入到军队的实际应用中,提高作战效能。     

武器装备发展战略研究中的体系能力评估分析

随着武器装备发展战略研究的科学化决策需求越来越高,对体系能力评估的要求也变得愈发迫切,但这也是目前的一个技术难点。首先分析了发展战略研究中,可能遇到的体系能力评估问题种类及其特点。然后,针对每类问题,重点分析了各自的要求,给出了在评估分析建模方法选择上的建议。     

多运动站测角频差无源定位方法研究

针对测角频差无源定位问题,提出了一种快速有效的解析定位方法,该方法通过引入中间量,将辐射源位置非线性估计问题转化成两个加权线性最小二乘估计问题,简化了定位解算.该方法无需进行参量搜索,比搜索法运算量小;无需初始值引导,比高斯-牛顿迭代法使用方便.在结构上,建立了观测模型,然后给出了辐射源定位误差对应的克拉美罗限,阐述了...     

潜射线导鱼雷作战使用攻击决策

针对线导鱼雷制导方式的特殊性,从潜艇鱼雷攻击的决策依据入手,结合线导鱼雷作战使用的要求,提出了实现线导鱼雷攻击决策功能的必要条件.并以此为依据,阐述了线导鱼雷在作战使用过程中应把握的问题.     

愤怒情绪产生的根源及调适方法

从正确认识愤怒情绪及其危害入手,分析产生愤怒情绪的根源主要是：被伤害或利用、挫折、压力、嫉妒,以及缺乏他人关注、缺乏社会认同感等。提出调适愤怒的方法主要有：躲避刺激法、转移视线法、宣泄愤怒法和心理调节法。